Bell Labs - PDFSEARCH.IO - Document Search Engine

Bell Labs
Results: 466

#	Item
91	Robin Milner, Concurrency: interaction, bisimulation, naming Alan Jeffrey Bell Labs, Enabling Computing Technologies Research January 2011, ACM Principles of Programming Languages Add to Reading List Source URL: ect.bell-labs.com Language: English - Date: 2011-01-28 15:15:59 Process calculi Calculus of communicating systems Bisimulation Robin Milner Alcatel-Lucent Q0 Transition system Communicating sequential processes Bell Labs Lucent
92	Types and Effects for Asymmetric Cryptographic Protocols Andrew D. Gordon Microsoft Research Cambridge, UK Alan Jeffrey Add to Reading List Source URL: ect.bell-labs.com Language: English - Date: 2010-12-15 21:36:15 Cryptography Public-key cryptography Authentication protocols Symmetric-key cryptography NeedhamSchroeder protocol Cryptographic nonce XTR Digital signature Subtyping Security protocol notation
93	Typing One-to-One and One-to-Many Correspondences in Security Protocols Andrew D. Gordon1 and Alan Jeffrey2 1 2 Add to Reading List Source URL: ect.bell-labs.com Language: English - Date: 2010-12-15 21:35:36 Software engineering Programming language theory Computing C Struct ALGOL 68 BurrowsAbadiNeedham logic OK -calculus
94	A fully abstract semantics for a higher-order functional language with nondeterministic computation A LAN J EFFREY A BSTRACT. This paper is about the relationship between the theory of monadic types and the practice of c Add to Reading List Source URL: ect.bell-labs.com Language: English - Date: 2010-12-15 21:36:48 Category theory Models of computation Adjoint functors Functional programming Logic in computer science Denotational semantics Lambda calculus Cartesian closed category Sheaf F-algebra Kleisli category Monad
95	PDF Document Add to Reading List Source URL: ect.bell-labs.com Language: English - Date: 2010-12-15 21:38:38 Authentication protocols Symmetric-key cryptography NeedhamSchroeder protocol Cryptographic protocol
96	PDF Document Add to Reading List Source URL: ect.bell-labs.com Language: English - Date: 2010-12-15 21:37:38 Logic Mathematics Theoretical computer science Automated theorem proving Logic programming Logical truth Propositional calculus Substitution Denotational semantics Structure Symbol Generalised Whitehead product
97	PDF Document Add to Reading List Source URL: ect.bell-labs.com Language: English - Date: 2010-12-15 21:40:51 Exponentials Exponentiation Operator theory -quadratic form
98	PDF Document Add to Reading List Source URL: ect.bell-labs.com Language: English - Date: 2010-12-15 21:36:56 Software development Software engineering Theoretical computer science Aspect-oriented software development Lambda calculus Aspect-oriented programming -calculus Pointcut Combinatory logic XTR
99	PDF Document Add to Reading List Source URL: ect.bell-labs.com Language: Hungarian - Date: 2010-12-15 21:35:45
100	PDF Document Add to Reading List Source URL: ect.bell-labs.com Language: English - Date: 2010-12-15 21:40:20 Theoretical computer science Process calculi -calculus Limit of a function Mathematics Cognitive science

UPDATE